[next] [prev] [prev-tail] [tail] [up]

Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 146 82 123 209 372 126 389

N.S.

1 1.00 1.51 0.85 1.27 2.15 3.84 1.30 4.01

time (sec)

N/A 0.097 0.064 0.073 0.280 0.248 19.475 0.320 14.099

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 144 57 0 603 105 511 1097

N.S.

1 1.00 1.26 0.50 0.00 5.29 0.92 4.48 9.62

time (sec)

N/A 0.117 0.061 0.090 0.000 0.262 0.737 0.348 14.111

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 128 43 0 267 44 199 216

N.S.

1 1.00 1.17 0.39 0.00 2.45 0.40 1.83 1.98

time (sec)

N/A 0.039 0.073 0.048 0.000 0.266 0.294 0.356 0.305

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 105 40 0 553 63 299 322

N.S.

1 1.00 0.96 0.37 0.00 5.07 0.58 2.74 2.95

time (sec)

N/A 0.034 0.041 0.038 0.000 0.244 0.458 0.311 15.333

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 143 119 0 1612 134 698 2774

N.S.

1 1.00 1.18 0.98 0.00 13.32 1.11 5.77 22.93

time (sec)

N/A 0.081 0.102 0.064 0.000 0.280 1.949 0.374 14.535

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 62 62 58 157 144 58 302

N.S.

1 1.00 0.90 0.90 0.84 2.28 2.09 0.84 4.38

time (sec)

N/A 0.052 0.025 0.070 0.295 0.238 0.633 0.325 13.212

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 49 47 42 131 117 42 85

N.S.

1 1.00 0.91 0.87 0.78 2.43 2.17 0.78 1.57

time (sec)

N/A 0.031 0.013 0.048 0.268 0.259 0.350 0.321 0.089

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 26 21 91 60 21 24

N.S.

1 1.00 1.00 0.84 0.68 2.94 1.94 0.68 0.77

time (sec)

N/A 0.017 0.006 0.037 0.278 0.237 0.171 0.313 13.025

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 105 62 61 147 194 61 71

N.S.

1 1.00 1.52 0.90 0.88 2.13 2.81 0.88 1.03

time (sec)

N/A 0.046 0.040 0.054 0.270 0.259 2.314 0.311 13.283

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 163 75 104 208 386 125 3313

N.S.

1 1.00 1.83 0.84 1.17 2.34 4.34 1.40 37.22

time (sec)

N/A 0.091 0.068 0.071 0.279 0.248 19.300 0.315 16.278

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

432 432 164 57 0 615 105 533 1147

N.S.

1 1.00 0.38 0.13 0.00 1.42 0.24 1.23 2.66

time (sec)

N/A 0.576 0.071 0.204 0.000 0.252 0.754 0.380 13.379

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 331 143 41 0 279 44 203 222

N.S.

1 1.00 0.43 0.12 0.00 0.84 0.13 0.61 0.67

time (sec)

N/A 0.153 0.081 0.105 0.000 0.247 0.316 0.369 0.303

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 359 119 38 0 567 63 307 986

N.S.

1 1.00 0.33 0.11 0.00 1.58 0.18 0.86 2.75

time (sec)

N/A 0.147 0.049 0.115 0.000 0.237 0.432 0.307 13.906

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

433 433 174 162 0 1582 134 742 2848

N.S.

1 1.00 0.40 0.37 0.00 3.65 0.31 1.71 6.58

time (sec)

N/A 0.347 0.107 0.134 0.000 0.303 1.892 0.368 14.021

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 18 18 26 18 20

N.S.

1 1.00 1.00 0.95 0.90 0.90 1.30 0.90 1.00

time (sec)

N/A 0.014 0.007 0.043 0.268 0.249 0.047 0.271 0.064

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.012 0.005 0.059 0.270 0.256 0.043 0.501 0.065

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 20 18 18

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.87 0.78 0.78

time (sec)

N/A 0.009 0.012 0.069 0.272 0.270 0.065 0.294 0.053

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 94 38 0 145 63 56 44

N.S.

1 1.00 1.27 0.51 0.00 1.96 0.85 0.76 0.59

time (sec)

N/A 0.034 0.115 0.067 0.000 0.272 0.083 0.275 13.028

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 39 36 0 53 24 147 101

N.S.

1 1.00 0.21 0.19 0.00 0.28 0.13 0.78 0.54

time (sec)

N/A 0.125 0.043 0.156 0.000 0.259 0.285 0.676 13.105

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 166 154 0 367 0 170 315

N.S.

1 1.00 0.97 0.90 0.00 2.15 0.00 0.99 1.84

time (sec)

N/A 0.104 0.311 0.229 0.000 0.272 0.000 0.299 14.026

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 132 122 0 303 0 132 193

N.S.

1 1.00 0.86 0.80 0.00 1.98 0.00 0.86 1.26

time (sec)

N/A 0.091 0.229 0.133 0.000 0.255 0.000 0.301 13.389

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 103 91 0 237 0 96 87

N.S.

1 1.00 0.95 0.84 0.00 2.19 0.00 0.89 0.81

time (sec)

N/A 0.055 0.197 0.092 0.000 0.257 0.000 0.318 13.069

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 87 73 0 197 0 74 72

N.S.

1 1.00 1.05 0.88 0.00 2.37 0.00 0.89 0.87

time (sec)

N/A 0.038 0.325 0.106 0.000 0.253 0.000 0.296 13.055

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 104 91 0 566 0 0 88

N.S.

1 1.00 0.95 0.83 0.00 5.19 0.00 0.00 0.81

time (sec)

N/A 0.070 0.168 0.106 0.000 0.303 0.000 0.000 12.983

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 107 94 0 601 0 148 91

N.S.

1 1.00 0.96 0.84 0.00 5.37 0.00 1.32 0.81

time (sec)

N/A 0.070 0.166 0.118 0.000 0.293 0.000 0.305 13.210

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 88 81 0 215 0 241 0

N.S.

1 1.00 1.00 0.92 0.00 2.44 0.00 2.74 0.00

time (sec)

N/A 0.046 0.233 0.087 0.000 0.275 0.000 0.299 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 108 101 0 261 0 359 0

N.S.

1 1.00 0.93 0.87 0.00 2.25 0.00 3.09 0.00

time (sec)

N/A 0.063 0.389 0.118 0.000 0.305 0.000 0.293 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 141 130 0 325 0 617 0

N.S.

1 1.00 0.88 0.81 0.00 2.02 0.00 3.83 0.00

time (sec)

N/A 0.101 0.497 0.157 0.000 0.294 0.000 0.316 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 176 160 0 389 0 842 0

N.S.

1 1.00 0.88 0.80 0.00 1.95 0.00 4.23 0.00

time (sec)

N/A 0.161 0.644 0.177 0.000 0.329 0.000 0.340 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

395 395 538 476 0 402 0 0 0

N.S.

1 1.00 1.36 1.21 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.181 7.884 3.260 0.000 0.084 0.000 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

342 342 479 406 0 355 0 0 0

N.S.

1 1.00 1.40 1.19 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.091 6.546 2.042 0.000 0.084 0.000 0.000 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 309 445 379 0 301 0 0 0

N.S.

1 1.00 1.44 1.23 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.067 5.892 0.924 0.000 0.086 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 303 435 381 0 0 0 0 0

N.S.

1 1.00 1.44 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.061 10.516 1.229 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 341 459 398 0 303 0 0 0

N.S.

1 1.00 1.35 1.17 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.101 10.558 1.076 0.000 0.082 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

397 397 530 428 0 357 0 0 0

N.S.

1 1.00 1.34 1.08 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.183 10.849 2.000 0.000 0.092 0.000 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 220 241 0 535 0 663 0

N.S.

1 1.00 0.99 1.08 0.00 2.40 0.00 2.97 0.00

time (sec)

N/A 0.163 0.738 0.267 0.000 0.272 0.000 0.335 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 194 199 0 451 0 529 0

N.S.

1 1.00 0.95 0.98 0.00 2.21 0.00 2.59 0.00

time (sec)

N/A 0.149 0.594 0.187 0.000 0.272 0.000 0.365 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 140 152 0 361 0 408 223

N.S.

1 1.00 0.93 1.01 0.00 2.41 0.00 2.72 1.49

time (sec)

N/A 0.092 0.397 0.156 0.000 0.262 0.000 0.343 13.944

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 114 120 0 297 0 311 115

N.S.

1 1.00 0.92 0.97 0.00 2.40 0.00 2.51 0.93

time (sec)

N/A 0.059 0.802 0.118 0.000 0.257 0.000 0.323 13.575

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 148 192 0 727 0 0 0

N.S.

1 1.00 0.95 1.24 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.118 0.536 0.130 0.000 0.333 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 132 170 0 713 0 184 0

N.S.

1 1.00 0.88 1.13 0.00 4.75 0.00 1.23 0.00

time (sec)

N/A 0.142 0.562 0.165 0.000 0.314 0.000 0.358 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 131 150 0 713 0 304 0

N.S.

1 1.00 0.87 0.99 0.00 4.72 0.00 2.01 0.00

time (sec)

N/A 0.111 0.580 0.148 0.000 0.319 0.000 0.365 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 148 142 0 771 0 398 0

N.S.

1 1.00 0.91 0.87 0.00 4.73 0.00 2.44 0.00

time (sec)

N/A 0.121 0.732 0.162 0.000 0.332 0.000 0.404 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 120 123 0 319 0 606 0

N.S.

1 1.00 0.90 0.92 0.00 2.40 0.00 4.56 0.00

time (sec)

N/A 0.078 0.725 0.158 0.000 0.309 0.000 0.350 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 160 153 0 383 0 832 0

N.S.

1 1.00 0.99 0.94 0.00 2.36 0.00 5.14 0.00

time (sec)

N/A 0.095 1.037 0.199 0.000 0.347 0.000 0.372 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 201 189 0 473 0 1235 0

N.S.

1 1.00 0.93 0.88 0.00 2.19 0.00 5.72 0.00

time (sec)

N/A 0.140 1.442 0.248 0.000 0.432 0.000 0.390 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

495 495 657 674 0 528 0 0 0

N.S.

1 1.00 1.33 1.36 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.267 11.386 2.473 0.000 0.089 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

443 443 602 545 0 472 0 0 0

N.S.

1 1.00 1.36 1.23 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.168 10.681 3.191 0.000 0.084 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 533 471 0 396 0 0 0

N.S.

1 1.00 1.40 1.24 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.139 9.293 1.477 0.000 0.086 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

361 361 505 405 0 0 0 0 0

N.S.

1 1.00 1.40 1.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.115 10.798 1.282 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 353 473 428 0 0 0 0 0

N.S.

1 1.00 1.34 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.092 10.576 2.463 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 400 527 424 0 0 0 0 0

N.S.

1 1.00 1.32 1.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.162 10.832 1.943 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

447 447 572 495 0 403 0 0 0

N.S.

1 1.00 1.28 1.11 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.246 11.015 2.321 0.000 0.086 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 59 114 0 44 0 0 0

N.S.

1 1.00 1.23 2.38 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.025 3.904 2.026 0.000 0.075 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 101 91 0 241 0 101 0

N.S.

1 1.00 0.83 0.75 0.00 1.99 0.00 0.83 0.00

time (sec)

N/A 0.072 0.222 0.090 0.000 0.258 0.000 0.314 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 91 75 0 203 0 80 0

N.S.

1 1.00 0.88 0.72 0.00 1.95 0.00 0.77 0.00

time (sec)

N/A 0.055 0.174 0.080 0.000 0.266 0.000 0.316 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 68 56 0 161 0 59 55

N.S.

1 1.00 1.00 0.82 0.00 2.37 0.00 0.87 0.81

time (sec)

N/A 0.033 0.120 0.061 0.000 0.253 0.000 0.288 13.304

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 41 35 0 118 0 38 34

N.S.

1 1.00 0.95 0.81 0.00 2.74 0.00 0.88 0.79

time (sec)

N/A 0.020 0.074 0.046 0.000 0.267 0.000 0.287 13.366

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 41 39 0 124 0 38 44

N.S.

1 1.00 0.93 0.89 0.00 2.82 0.00 0.86 1.00

time (sec)

N/A 0.024 0.073 0.052 0.000 0.286 0.000 0.285 13.285

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 72 63 0 179 0 114 56

N.S.

1 1.00 1.00 0.88 0.00 2.49 0.00 1.58 0.78

time (sec)

N/A 0.038 0.140 0.074 0.000 0.264 0.000 0.292 13.329

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 91 82 0 221 0 221 0

N.S.

1 1.00 0.84 0.76 0.00 2.05 0.00 2.05 0.00

time (sec)

N/A 0.067 0.222 0.089 0.000 0.268 0.000 0.301 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 110 101 0 265 0 335 0

N.S.

1 1.00 0.76 0.70 0.00 1.83 0.00 2.31 0.00

time (sec)

N/A 0.107 0.334 0.110 0.000 0.285 0.000 0.327 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 313 444 388 0 305 0 0 0

N.S.

1 1.00 1.42 1.24 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.075 10.580 1.674 0.000 0.084 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 267 278 216 0 273 0 0 0

N.S.

1 1.00 1.04 0.81 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.046 10.089 0.614 0.000 0.088 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 186 144 0 121 0 0 0

N.S.

1 1.00 1.63 1.26 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.009 10.069 0.369 0.000 0.083 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 294 298 239 0 269 0 0 0

N.S.

1 1.00 1.01 0.81 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.078 10.315 0.642 0.000 0.087 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

345 345 459 399 0 306 0 0 0

N.S.

1 1.00 1.33 1.16 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.105 10.583 1.027 0.000 0.089 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 107 93 153 249 0 112 0

N.S.

1 1.00 0.86 0.75 1.23 2.01 0.00 0.90 0.00

time (sec)

N/A 0.073 0.351 0.488 0.275 0.278 0.000 0.299 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 91 77 105 211 0 91 0

N.S.

1 1.00 0.85 0.72 0.98 1.97 0.00 0.85 0.00

time (sec)

N/A 0.061 0.235 0.079 0.289 0.280 0.000 0.309 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 72 58 50 169 0 70 62

N.S.

1 1.00 1.03 0.83 0.71 2.41 0.00 1.00 0.89

time (sec)

N/A 0.034 0.148 0.061 0.271 0.269 0.000 0.303 13.075

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 43 35 28 124 0 45 40

N.S.

1 1.00 0.98 0.80 0.64 2.82 0.00 1.02 0.91

time (sec)

N/A 0.021 0.110 0.043 0.281 0.266 0.000 0.284 13.435

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 44 45 36 129 0 36 52

N.S.

1 1.00 0.94 0.96 0.77 2.74 0.00 0.77 1.11

time (sec)

N/A 0.025 0.077 0.093 0.267 0.275 0.000 0.285 13.282

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 76 74 62 188 0 111 64

N.S.

1 1.00 0.99 0.96 0.81 2.44 0.00 1.44 0.83

time (sec)

N/A 0.041 0.128 0.083 0.269 0.278 0.000 0.297 13.240

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 95 107 126 230 0 224 0

N.S.

1 1.00 0.83 0.93 1.10 2.00 0.00 1.95 0.00

time (sec)

N/A 0.070 0.202 0.088 0.292 0.308 0.000 0.303 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 114 119 179 272 0 344 0

N.S.

1 1.00 0.74 0.77 1.16 1.77 0.00 2.23 0.00

time (sec)

N/A 0.112 0.296 0.118 0.277 0.322 0.000 0.308 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

409 409 459 391 0 313 0 0 0

N.S.

1 1.00 1.12 0.96 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.402 10.503 2.556 0.000 0.094 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 271 217 0 282 0 0 0

N.S.

1 1.00 0.72 0.58 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.205 10.082 0.606 0.000 0.085 0.000 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 177 145 0 127 0 0 0

N.S.

1 1.00 1.05 0.86 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.062 10.064 0.394 0.000 0.090 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

408 408 283 241 0 274 0 0 0

N.S.

1 1.00 0.69 0.59 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.256 10.290 0.681 0.000 0.089 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

445 445 472 402 0 312 0 0 0

N.S.

1 1.00 1.06 0.90 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.344 10.498 1.099 0.000 0.088 0.000 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 166 183 0 591 0 213 0

N.S.

1 1.00 0.87 0.96 0.00 3.11 0.00 1.12 0.00

time (sec)

N/A 0.162 0.620 0.217 0.000 0.333 0.000 0.321 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 131 145 0 459 0 152 0

N.S.

1 1.00 0.98 1.08 0.00 3.43 0.00 1.13 0.00

time (sec)

N/A 0.076 0.441 0.154 0.000 0.326 0.000 0.309 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 94 106 0 387 0 99 84

N.S.

1 1.00 0.82 0.92 0.00 3.37 0.00 0.86 0.73

time (sec)

N/A 0.061 0.368 0.124 0.000 0.313 0.000 0.308 14.119

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 38 0 67 0 44 37

N.S.

1 1.00 1.00 1.06 0.00 1.86 0.00 1.22 1.03

time (sec)

N/A 0.021 0.230 0.072 0.000 0.277 0.000 0.285 13.682

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 37 36 0 67 0 45 35

N.S.

1 1.00 1.03 1.00 0.00 1.86 0.00 1.25 0.97

time (sec)

N/A 0.016 0.261 0.062 0.000 0.289 0.000 0.281 13.795

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 91 98 0 389 0 110 0

N.S.

1 1.00 1.02 1.10 0.00 4.37 0.00 1.24 0.00

time (sec)

N/A 0.055 0.390 0.119 0.000 0.317 0.000 0.294 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 127 147 0 485 0 200 0

N.S.

1 1.00 0.91 1.06 0.00 3.49 0.00 1.44 0.00

time (sec)

N/A 0.085 0.504 0.166 0.000 0.340 0.000 0.300 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 166 184 0 615 0 350 0

N.S.

1 1.00 0.85 0.94 0.00 3.15 0.00 1.79 0.00

time (sec)

N/A 0.141 0.689 0.183 0.000 0.360 0.000 0.309 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

408 408 489 482 0 616 0 0 0

N.S.

1 1.00 1.20 1.18 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.142 10.881 1.830 0.000 0.104 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

342 342 452 450 0 449 0 0 0

N.S.

1 1.00 1.32 1.32 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.089 10.574 1.006 0.000 0.095 0.000 0.000 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 341 437 446 0 450 0 0 0

N.S.

1 1.00 1.28 1.31 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.084 10.546 0.628 0.000 0.092 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 353 456 481 0 452 0 0 0

N.S.

1 1.00 1.29 1.36 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.091 10.560 0.385 0.000 0.095 0.000 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

428 428 515 536 0 611 0 0 0

N.S.

1 1.00 1.20 1.25 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.135 10.855 5.006 0.000 0.094 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 34 32 34 30 0 48 33

N.S.

1 1.00 0.68 0.64 0.68 0.60 0.00 0.96 0.66

time (sec)

N/A 0.036 0.011 0.372 0.199 0.269 0.000 0.283 12.989

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 83 63 52 114 0 59 53

N.S.

1 1.00 1.43 1.09 0.90 1.97 0.00 1.02 0.91

time (sec)

N/A 0.049 0.030 0.171 0.187 0.268 0.000 0.305 13.392

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 13 20 0 28 20

N.S.

1 1.00 1.00 0.95 0.59 0.91 0.00 1.27 0.91

time (sec)

N/A 0.011 0.005 0.480 0.193 0.261 0.000 0.277 13.210

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 52 42 32 74 0 38 33

N.S.

1 1.00 1.68 1.35 1.03 2.39 0.00 1.23 1.06

time (sec)

N/A 0.031 0.009 0.173 0.195 0.290 0.000 0.290 13.427

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 52 50 0 80 0 46 0

N.S.

1 1.00 1.73 1.67 0.00 2.67 0.00 1.53 0.00

time (sec)

N/A 0.006 0.008 0.235 0.000 0.283 0.000 0.289 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 21 0 34 21

N.S.

1 1.00 1.00 0.96 0.91 0.91 0.00 1.48 0.91

time (sec)

N/A 0.023 0.006 0.166 0.199 0.254 0.000 0.286 12.905

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 76 73 0 133 0 55 76

N.S.

1 1.00 1.29 1.24 0.00 2.25 0.00 0.93 1.29

time (sec)

N/A 0.031 0.018 0.515 0.000 0.289 0.000 0.305 13.272

[next] [prev] [prev-tail] [front] [up]